VDM相关论文
The sound and complete rules for data reification in the algebraic framework are discussed. Based on these rules, the re......
该文首先对CBR系统中事例的索引与检索机制进行了研究.在分析了基于示例的学习(Instance- basedLearning,简称IBL)算法的基础上,该......
现实中基于树型层次结构的属性值分类是普遍存在的,反映这种树型层次结构的属性值分类法(Attribute Value Tax?onomy,AVT)已被证明......
[据美国《金属导报》报道] 西德贸易组织(VDM)对今后废钢的需求,该组织成员中有35％的人认为它是“稳定的”,42％的人认为将“增长”,......
虚拟仿真技术的运用，有助于缩短车型开发周期，降低研发成本，并提升产品的竞争力。作为整车碰撞模拟的重要组成，数字假人模型在车辆......
提出了一种基于O SDC的改进型数字视频混合器(VDM)的设计原理,实现了任意字符和图形在视频上的叠加显示,解决了字符大小和屏幕显示......
蒂森克虏伯VDM公司向SMS西马克公司发出订单，为西根厂订购1台2．7m的厚板轧机。新轧机将替换自1954年以来一直使用的现有轧机。新轧机......
由于VS98不能用于内核态的设备驱动程序的构造,所以在创建之后必须使用另外的工具构造驱动程序,为了简化程序开发过程,提高开发效......
In this letter, a real-time C-V (Characteristic-Vector) clustering algorithm is put forth to treat with vast action data......
特征选择在机器学习和数据挖掘中起到了至关重要的作用。Relief作为一种高效的过滤式特征选择算法,能处理多种类型的数据,且对噪声......
<正>实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法......
本文采用类ＶＤＭ的指称语言技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型，该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的......
基于局部加权朴素贝叶斯算法和处理混合型属性距离度量方法的研究，针对局部加权算法中存在的一些问题，将两种相似性距离度量方法运用......
<正> 1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成......
本文从传统的软件生存周期模型的弊病出发，分析与综述了快速原型软件开发方法的原理、技术及其应用，并与其它模型作了比较，提出了明确......
用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形......
随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为......
针对银行软件的特点,阐述了VDM(Vienna Development Method,简称VDM)的由来、基本思想、优点及其开发步骤,并结合银行工作的实际情......
本文给出了地球虚偶极矩(VDM)在地质时期随时间的变化规律,并对5Ma以来VDM数据进行了统计分析,发现VDM服从正态分布。......
<正>由于历史的原因,我们都曾在16位的DOS操作系统上开发过许多有价值的应用程序.现在,如何在功能非常强大的32位WINDOWS NT操作系......
德国:家具行业协会(VDM)最新预测德国家具行业2015年的营业额将比上年增长3%,达169亿欧元。今年2月中旬,VDM预测的数字是1%~2%。VD......
文章介绍了专门用于ＩＴＳ（智能交通系统）中的一种多功能视频叠加设备－－ＶＤＭ的设计。针对ＩＴＳ应用中的主要特点和要求，ＶＤＭ采取了一些相应的技术措施，该设备......
根据以太网通信原理，设计了以太网通信的数字视频混合器（VDM）。该设备不仅能实现字符和图形在视频上的叠加显示，而且改进了以往VDM设备......
本文以以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。......
现代市场竞争从顾客价值来说．其实最根本的也就是一种广义概念上的价格竞争，因此对企业来说。取得价格竞争优势是很关键的。以下我们......
德国蒂森克虏伯VDM公司对外公布了一种新的铁-镍-铬-钼不锈钢，商品名为Nicrofer312hM。简称合金31。这种不锈钢常用于化学工业，是一......
当前各行业的各种类型的监控摄像头的安装越来越普及,在交通测流、检测车辆违章、银行安保、工厂运行监控、产品加工等各方面都需......
AIS报文误包率是AIS系统接收性能优劣的唯一判决条件,而目前针对AIS系统进行误包率测量的仪器设备,在国内外尚未见报道.本文对AIS......
如何更加有效的保障汽车行驶安全一直是业界最为关注的话题。从最初的纯粹机械式的车架、底盘、转向系统、制动系统的动力学设计到......
文中论述了在Windows2000操作系统下如何实现MS DOS应用程序对硬件设备的访问问题,详细分析了如何利用VDD作为转换层,完成对硬件设......
日前,在CIMT2017展会开幕前际,德国机床制造商协会（VDW）在展会现场举办了新闻发布会,VDW经济部长Gerhard Hein、通快（中国）有限公司总......
安装好VDM后，接下来的任务是创建用于VDI的虚拟机，然后再使用VDM管理并分配这些虚拟机后，才能让终端用户使用。......
本文介绍了AIS信息交换的数据格式,分析了VDM信息压缩和分包传输的原理,提出了VDM语句合并处理、数据解压缩处理的方法,并给出了具......
1背景随着动车组检修业务的快速增长,原有的检修测试模式难以支撑未来的检修业务需求,提高测试设备自动化,成为解决问题的突破口。......
论述了在Windows 98/2000操作系统下如何实现MS-DOS应用程序对硬件设备的访问.详细分析了在Windows 98中的VxD技术及工作原理,在Wi......
提出了一种基于0SDC的改进型数字视频混合器（VDM）的设计原理，实现了任意字符和图形在视频上的叠加显示，解决了字符大小和屏幕显示容量......
<正>本文将为您简要介绍一下USB Type-C。它有5项主要特性使USB Type-C成为灵活、可扩展的接口。主要特性1供电USB Type-C接口默认......
商品流通领域里开架销售企业（超市、大卖场等）的商品损耗大致分为三类：一是外盗；二是内盗和内外结合盗窃；三是商品残损。引用百思买防损......
介绍了软件开发方法中的一种形式化分析方法:Vienna Development Method(VDM).阐述了形式化分析方法的特点,具体说明了维也纳分析......
VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原......
